منابع مشابه
TaMeD: A Tableau Method for Deduction Modulo
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation of computational and deductive steps. A sequent calculus modulo has been defined in (Dowek et al., 2003) as well as a resolution-based proof search method, in which the congruences are handled through rewrite rules on...
متن کاملDarwin‘s Method: Induction, Deduction, or Synthesis?
From Becquerel's uranium rock to Newton's proverbial rock and Fleming's serendipitous observation of penicillin, the way science is done has come to be associated often with a romanticized but highly suspect notion of objectivity. This may very well be the effect on science of inductivism and the bold claim of the proponents of inductivism that science could not possibly lead to any kind of tru...
متن کاملbuckling of viscoelastic composite plates using the finite strip method
در سال های اخیر، تقاضای استفاده از تئوری خطی ویسکوالاستیسیته بیشتر شده است. با افزایش استفاده از کامپوزیت های پیشرفته در صنایع هوایی و همچنین استفاده روزافزون از مواد پلیمری، اهمیت روش های دقیق طراحی و تحلیل چنین ساختارهایی بیشتر شده است. این مواد جدید از خودشان رفتارهای مکانیکی ارائه می دهند که با تئوری های الاستیسیته و ویسکوزیته، نمی توان آن ها را توصیف کرد. این مواد، خواص ویسکوالاستیک دارند....
A Compilation-Chart Method for Linear Categorial Deduction
Recent, work in ca.t;eg(Mj gr;mmt;~r has seen proposals for a wide. r;Lltg(~ O[ sys-. 1 Introduction This t)al)er present;s a method applicalle to parsing a. range of cal;egorial gramm~u' formalisms, in pa. ]994), where|)y 1;he. I;yi)es in a pr()of are asso(:ial;(!d wil;h labels under a Sl)e.eiti(;d diseiI)litte , l;he la.bels iS(x;, for cxanLlile , the ['orma.lisnls devcqoped ill
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1971
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093894367